Second-order logic - PDFSEARCH.IO - Document Search Engine

Second-order logic
Results: 101

#	Item
81	The complexity of computable entailment Benedict Eastaugh [removed] Department of Philosophy University of Bristol Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Computability theory Proof theory Epistemology Reverse mathematics Foundations of mathematics Second-order arithmetic Constructivism Entailment Solomon Feferman Logic Mathematics Mathematical logic
82	The Z Notation: A Reference Manual Second Edition J. M. Spivey Programming Research Group Add to Reading List Source URL: spivey.oriel.ox.ac.uk Language: English - Date: 2001-10-02 16:44:20 Formal languages Predicate logic Programming language Mathematical notation First-order logic Z notation Type theory Regular expression EXPRESS Logic Mathematics Mathematical logic
83	30 For Michael Potter, ed., Mathematical Knowledge, Oxford University Press 2007 On Quantifying into Predicate Position: Steps towards a New(tralist) Perspective Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2007-05-09 19:53:00 Predicate logic Semantics Philosophy of language First-order logic Universal quantification Second-order logic Truth-value semantics Existential quantification Proposition Logic Mathematical logic Quantification
84	A characterization of definability of second-order generalized quantifiers with applications to non-definability Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-05-22 21:58:50 Finite model theory Model theory Propositional calculus FO First-order logic Interpretation HO Entailment Substitution Logic Mathematical logic Theoretical computer science
85	[removed]Motivation Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:14 FO P Finite model theory SO Computational complexity theory Second-order logic Theoretical computer science Complexity classes Applied mathematics
86	[removed]Basic definitions Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:23 Metalogic Saturated model Structure Second-order logic FO Beth definability Compactness theorem Graph Reachability Mathematics Mathematical logic Model theory
87	Generalized Implicit De nitions on Finite Structures Stephane Grumbach?1 and Zoe Lacroix??2 and Steven Lindell???3 Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:04 Finite model theory Model theory Computational complexity theory Mathematical logic Philosophical logic Structure FO HO Second-order logic Theoretical computer science Mathematics Logic
88	Finite model theory studies the expressive power of logical languages over collections of finite structures. Over the past few decades, deep connections have emerged between finite model theory and various areas in combi Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:01 Model theory Finite model theory Computational complexity theory Metalogic Logical syntax Second-order logic FO Descriptive complexity theory First-order logic Logic Mathematical logic Mathematics
89	Background Hyperarithmetic analysis New statements Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Proof theory Computability theory Reverse mathematics Second-order arithmetic Ordinal number Constructible universe Axiom Mathematical logic Logic Mathematics
90	Finite Model Theory and Graph Isomorphism. I. Anuj Dawar Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-12-16 05:15:33 Model theory Mathematical structures Finite model theory Algebraic structures FO Second-order logic First-order logic Graph Structure Mathematics Logic Mathematical logic

UPDATE